Efficient Pattern Matching in Python

Pattern matching is a powerful tool for symbolic computations. Applications include term rewriting systems, as well as the manipulation of symbolic expressions, abstract syntax trees, and XML and JSON data. It also allows for an intuitive description of algorithms in the form of rewrite rules. We present the open source Python module MatchPy, which offers functionality and expressiveness similar to the pattern matching in Mathematica. In particular, it includes syntactic pattern matching, as well as matching for commutative and/or associative functions, sequence variables, and matching with constraints. MatchPy uses new and improved algorithms to efficiently find matches for large pattern sets by exploiting similarities between patterns. The performance of MatchPy is investigated on several real-world problems

Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity

Unravelings are transformations from a conditional term rewriting system (CTRS, for short) over an original signature into an unconditional term rewriting systems (TRS, for short) over an extended signature. They are not sound w.r.t. reduction for every CTRS, while they are complete w.r.t. reduction. Here, soundness w.r.t. reduction means that every reduction sequence of the corresponding unraveled TRS, of which the initial and end terms are over the original signature, can be simulated by the reduction of the original CTRS. In this paper, we show that an optimized variant of Ohlebusch's unraveling for a deterministic CTRS is sound w.r.t. reduction if the corresponding unraveled TRS is left-linear or both right-linear and non-erasing. We also show that soundness of the variant implies that of Ohlebusch's unraveling. Finally, we show that soundness of Ohlebusch's unraveling is the weakest in soundness of the other unravelings and a transformation, proposed by Serbanuta and Rosu, for (normal) deterministic CTRSs, i.e., soundness of them respectively implies that of Ohlebusch's unraveling.Comment: 49 pages, 1 table, publication in Special Issue: Selected papers of the "22nd International Conference on Rewriting Techniques and Applications (RTA'11)

Sentinel Node Detection in Head and Neck Malignancies: Innovations in Radioguided Surgery

Sentinel node mapping is becoming a routine procedure for staging of various malignancies, because it can determine lymph node status more precisely. Due to anatomical problems, localizing sentinel nodes in the head and neck region on the basis of conventional images can be difficult. New diagnostic tools can provide better visualization of sentinel nodes. In an attempt to keep up with possible scientific progress, this article reviews new and innovative tools for sentinel node localization in this specific area. The overview comprises a short introduction of the sentinel node procedure as well as indications in the head and neck region. Then the results of SPECT/CT for sentinel node detection are described. Finally, a portable gamma camera to enable intraoperative real-time imaging with improved sentinel node detection is described

AT1 Receptor Gene Polymorphisms in relation to Postprandial Lipemia

Background. Recent data suggest that the renin-angiotensin system may be involved in triglyceride (TG) metabolism. We explored the effect of the common A1166C and C573T polymorphisms of the angiotensin II type 1 receptor (AT1R) gene on postprandial lipemia. Methods. Eighty-two subjects measured daytime capillary TG, and postprandial lipemia was estimated as incremental area under the TG curve. The C573T and A1166C polymorphisms of the AT1R gene were determined. Results. Postprandial lipemia was significantly higher in homozygous carriers of the 1166-C allele (9.39 ± 8.36 mM*h/L) compared to homozygous carriers of the 1166-A allele (2.02 ± 6.20 mM*h/L) (P < 0.05). Postprandial lipemia was similar for the different C573T polymorphisms. Conclusion. The 1166-C allele of the AT1R gene seems to be associated with increased postprandial lipemia. These data confirm the earlier described relationships between the renin-angiotensin axis and triglyceride metabolism

LOng-term follow-up after liVE kidney donation (LOVE) study: A longitudinal comparison study protocol

Background: The benefits of live donor kidney transplantation must be balanced against the potential harm to the donor. Well-designed prospective studies are needed to study the long-term consequences of kidney donation. Methods: The "LOng-term follow-up after liVE kidney donation" (LOVE) study is a single center longitudinal cohort study on long-term consequences after living kidney donation. We will study individuals who have donated a kidney from 1981 through 2010 in the Erasmus University Medical Center in Rotterdam, The Netherlands. In this time period, 1092 individuals donated a kidney and contact information is available for all individuals. Each participating donor will be matched (1:4) to non-donors derived from the population-based cohort studies of the Rotterdam Study and the Study of Health in Pomerania. Matching will be based on baseline age, gender, BMI, ethnicity, kidney function, blood pressure, pre-existing co-morbidity, smoking, the use of alcohol and highest education degree. Follow-up data is collected on kidney function, kidney-related comorbidity, mortality, quality of life and psychological outcomes in all participants. Discussion: This study will provide evidence on the long-term consequences of live kidney donation for the donor compared to matched non-donors and evaluate the current donor eligibility criteria. Trial registration: Dutch Trial Register NTR3795

Contralateral Regional Recurrence in Lateralized or Paramedian Early-Stage Oral Cancer Undergoing Sentinel Lymph Node Biopsy-Comparison to a Historic Elective Neck Dissection Cohort

Introduction: Nowadays, two strategies are available for the management of the clinically negative neck in early-stage (cT1-2N0) oral squamous cell carcinoma (OSCC): elective neck dissection (END) and sentinel lymph node biopsy (SLNB). SLNB stages both the ipsilateral and the contralateral neck in early-stage OSCC patients, whereas the contralateral neck is generally not addressed by END in early-stage OSCC not involving the midline. This study compares both incidence and hazard of contralateral regional recurrences (CRR) in those patients who underwent END or SLNB. Materials and Methods: A retrospective multicenter cohort study, including 816 lateralized or paramedian early-stage OSCC patients, staged by either unilateral or bilateral END (n = 365) or SLNB (n = 451). Results: The overall rate of occult contralateral nodal metastasis was 3.7% (30/816); the incidence of CRR was 2.5% (20/816). Patients who underwent END developed CRR during follow-up more often than those who underwent SLNB (3.8 vs. 1.3%; p = 0.018). Moreover, END patients had a higher hazard for developing CRR than SLNB patients (HR = 2.585; p = 0.030). In addition, tumor depth of invasion was predictive for developing CRR (HR = 1.922; p = 0.009). Five-year disease-specific survival in patients with CRR was poor (42%) compared to patients in whom occult contralateral nodal metastases were detected by SLNB or bilateral END (88%), although not statistically different (p = 0.066). Conclusion: Our data suggest that SLNB allows for better control of the contralateral clinically negative neck in patients with lateralized or paramedian early-stage OSCC, compared to END as performed in a clinical setting. The prognosis of those in whom occult contralateral nodal metastases are detected at an earlier stage may be favorable compared to those who eventually develop CRR, which highlights the importance of adequate staging of the contralateral clinically negative neck